Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
41	BRICS Basic Research in Computer Science BRICS RS-97-6 Danvy & Schultz: Lambda Dropping Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 09:12:44 Lambda calculus Recursion Lambda lifting Closure Fold Free variables and bound variables Parameter Blocks Software engineering Computing Subroutines
42	DEPENDENT INDEFINITES Donka F. Farkas, UCSC Abstract The paper rst lays out a non-congurational approach to scope ambiguities in which Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Predicate logic Elementary mathematics Functions and mappings Variables Mathematical notation Free variables and bound variables Function Derivative First-order logic Mathematics Software engineering Computing
43	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
44	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
45	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
46	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-11 13:47:43 Functional languages Procedural programming languages Cross-platform software Lisp programming language Type theory Scheme Lisp Scope Free variables and bound variables Software engineering Computing Computer programming
47	Continuation Hierarchy and Quantifier Scope Oleg Kiselyov and Chung-chieh Shan 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-21 03:17:21 Semantics Predicate logic Quantification Model theory Logic in computer science Combinatory logic Denotational semantics First-order logic Free variables and bound variables Logic Mathematical logic Theoretical computer science
48	Journal of Computer Security–721 IOS Press 677 A compositional logic for proving security properties of Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-12-15 20:24:55 Logic Computing Mathematics Theoretical computer science Burrows–Abadi–Needham logic Free variables and bound variables Π-calculus Needham–Schroeder protocol Applied mathematics Cryptographic protocols Cryptography Predicate logic
49	Q-Midi: A MidiShare Interface for the Q Programming Language Albert Gr¨af March 23, 2003 Abstract Add to Reading List Source URL: q-lang.sourceforge.net Language: English - Date: 2004-09-14 04:30:18 Recursion Functions and mappings Functional languages Curry Literate programming Function Fold Differential equation Free variables and bound variables Computing Software engineering Mathematics
50	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2008-01-14 18:38:50 Lambda calculus Combinatory logic Computability theory Fixed-point combinator Function Haskell Curry Free variables and bound variables Principia Mathematica First-order logic Mathematics Mathematical logic Theoretical computer science